$\forall$$a$, $b$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. (($n$ $\ast$ $a$) = ($n$ $\ast$ $b$)) $\Rightarrow$ ($a$ = $b$)